{
  "New": "New",
  "Old": "Old",
  "User settings": "User settings",
  "Interface options": "Interface options"
}
